feat: unify GitHub App token auth into materialize_repo, removing separate github_import command#445
Conversation
|
Warning This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
How to use the Graphite Merge QueueAdd either label to this PR to merge it via the merge queue:
You must have a Graphite account in order to use the merge queue. Sign up using this link. An organization admin has enabled the Graphite Merge Queue in this repository. Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue. This stack of pull requests is managed by Graphite. Learn more about stacking. |
materialize_repo, removing separate github_import command
|
[Claude — automated triage] Responding to the question about the instant "Evaluate / Rust Check" failure: This is a Depot CI configuration issue, not a code problem. A few indicators:
Likely cause: The Depot integration for this org may have an expired auth token or misconfigured runner. Someone with access to https://depot.dev/orgs/wvj82stv65 should check the project settings and verify the This won't block merging (the actual Rust code is verified by the passing "Rust Check" job), but the Depot integration should be fixed to keep CI reliable. Generated by Claude Code |

Summary
We had two different ways of doing git import -- the one I added that supports more extensive features in terms of git ref and letting you set up your nix config to a subdirectory which relied on ssh agent keys, and the one cooper (@czxtm) added that supported getting a token but none of the rest of the stuff I worked on last week. I tried to merge these into one great uber-feature.
Note that this is stacked on "onboarding" and there's a TODO to change the UI to support refs and subdirs. This one just supports owner/repo.
Test Plan
Docs